Preface to Computer algebra and computer analysis
نویسندگان
چکیده
منابع مشابه
Preface to Computer algebra and computer analysis
This special issue on Computer algebra and computer analysis was initiated by a session with the same title at the Third International ISAAC Congress, which took place in Berlin, 2001. The guest editors K. Gatermann and W. Koepf organized this session in order to stimulate the interaction between Computer Algebra and Analysis. In this special issue we have collected articles by participants of ...
متن کاملComputer Performance Evaluation: Preface
This issue of the Computer Journal is a special issue of the 6th European Performance Engineering Workshop (EPEW 2009), held at Imperial College London during 9–10 July 2009. EPEW has a successful record of gathering performance modelling, analysis and experience papers over the past 7 years and EPEW 2009 was no exception. EPEW 2009 was the first in the EPEW series to be held in the UK, followi...
متن کاملPartition Analysis, Modular Functions, and Computer Algebra
This article describes recent developments connecting problems of enumerative combinatorics, constrained by linear systems of Diophantine inequalities, with number theory topics like partitions, partition congruences, and q-series identities. Special emphasis is put on the role of computer algebra algorithms. The presentation is intended for a broader audience; to this end, elementary introduct...
متن کاملMathematics of Computer Algebra and Analysis
Using monads and Ocaml’s advanced module system in a generative context, it is possible to totally eliminate the overhead of abstraction. This lets one use extreme forms of information hiding at no run-time cost. Furthermore the typed nature of the generative context provide static guarantees about the generated code. The various aspects of the algorithms can be made completely orthogonal and c...
متن کاملComputer Algebra in User Interface Design Analysis
Computer algebra systems can do impressive mathematics that can help enormously in certain areas of formal HCI. This paper shows the ability to generate formal specifications, explore and generate theorems relevant to HCI needs, and how to do this automatically and reliably from existing, straight-forwardly programmed runnable systems. Conventional iterative design can modify these implementati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 2003
ISSN: 0747-7171
DOI: 10.1016/s0747-7171(03)00011-7